Maintaining state of speculation between instruction functions

ABSTRACT

There is provided an apparatus including input circuitry that receives input data. Output circuitry outputs a sequence of instructions to be executed by data processing circuitry, at least some of the instructions being grouped into functions and generation circuitry performs a generation process to generate the sequence of instructions using the input data. The generation process causes at least one of the instructions in the sequence of instructions to store a state of control flow speculation performed during execution of the sequence of instructions and the stored state of control flow speculation is maintained between the functions.

This application is the U.S. national phase of International Application No. PCT/GB2019/050666 filed Mar. 11, 2019 which designated the U.S. and claims priority to GB Patent Application No. 1806638.1 filed Apr. 24, 2018, the entire contents of each of which are hereby incorporated by reference.

The present technique relates to data processing. In particular, the present technique has relevance to the field of speculative execution.

Speculative execution is a technique in which a series of instructions are executed before it is known whether those instructions should be executed. At some later point in time, it is determined whether the speculatively executed instructions should have been executed. If so, the process continues. If not, then the execution is “rewound”. This form of speculation is called control flow speculation. In some cases, such speculative execution has been found to cause security leaks. For instance, a processor could be made to speculatively execute privileged code to unnecessarily load secured data into a cache. Since, after a rewind, a cache may not be cleared, the requested data could be probed using side-channel attacks. Another form of speculation is data value speculation where the resulting value produced by an instruction is speculated before all inputs to the instruction are known.

The present technique recognises that there is a desire to keep data secure where control flow speculation occurs.

Viewed from a first example configuration, there is provided an apparatus comprising: input circuitry to receive input data; output circuitry to output a sequence of instructions to be executed by data processing circuitry, at least some of the instructions being grouped into functions; and generation circuitry to perform a generation process to generate the sequence of instructions using the input data, wherein the generation process causes at least one of the instructions in the sequence of instructions to store a state of control flow speculation performed during execution of the sequence of instructions; and the stored state of control flow speculation is maintained between the functions.

Viewed from a second example configuration, there is provided a method comprising: receiving input data; performing a generation process to generate a sequence of instructions using the input data; and outputting a sequence of instructions to be executed by data processing circuitry, at least some of the instructions being grouped into functions, wherein the generation process causes at least one of the instructions in the sequence of instructions to store a state of control flow speculation performed during execution of the sequence of instructions; and the stored state of control flow speculation is maintained between the functions.

Viewed from a third example configuration, there is provided an apparatus comprising: means for receiving input data; means for outputting a sequence of instructions to be executed by data processing circuitry, at least some of the instructions being grouped into functions; and means for performing a generation process to generate the sequence of instructions using the input data, wherein the generation process causes at least one of the instructions in the sequence of instructions to store a state of control flow speculation performed during execution of the sequence of instructions; and the stored state of control flow speculation is maintained between the functions.

The present technique will be described further, by way of example only, with reference to embodiments thereof as illustrated in the accompanying drawings, in which:

FIG. 1 illustrates an apparatus in accordance with some embodiments;

FIG. 2 illustrates the behaviour of a branch instruction and is used to demonstrate one form of speculative execution;

FIG. 3 illustrates an example of a conditional select instruction;

FIGS. 4a and 4b illustrate the conversion of input data into a sequence of output instructions containing data value speculation-limiting instructions, enabling control flow miss-speculation tracking, in accordance with some embodiments;

FIGS. 5a, 5b, and 5c illustrate the conversion of input data into a sequence of output instructions containing ABI-compliant control flow miss-speculation tracking across function call boundaries in accordance with some embodiments;

FIG. 6 shows how several techniques involving conversion can be combined;

FIG. 7 illustrates an apparatus in accordance with some embodiments;

FIG. 8 illustrates a method of data processing in flow chart form in accordance with some embodiments; and

FIG. 9 illustrates a method of data processing in flow chart form in accordance with some embodiments.

Before discussing the embodiments with reference to the accompanying figures, the following description of embodiments and associated advantages is provided.

In accordance with one aspect, there is provided an apparatus comprising: input circuitry to receive input data; output circuitry to output a sequence of instructions to be executed by data processing circuitry, at least some of the instructions being grouped into functions; and generation circuitry to perform a generation process to generate the sequence of instructions using the input data, wherein the generation process causes at least one of the instructions in the sequence of instructions to store a state of control flow speculation performed during execution of the sequence of instructions; and the stored state of control flow speculation is maintained between the functions.

The above apparatus may take the form of a compiler that converts input instructions to output instructions. The input circuitry receives input data and the output circuitry outputs a sequence of instructions that are to be executed by data processing circuitry. The generation circuitry performs a generation process on the input data in order to generate the sequence of instructions. The generation process causes at least one of the instruction that are output to store a state of control flow speculation while the instructions are being executed. This state is maintained between functions, e.g. during function calls and return from function calls. In such cases, it may be possible for the speculation state established in one function to be accessed in another function. The input data could be translated by the generation process from a first language into a second language that is executable by the data processing circuitry (which could be the processing circuitry itself). In other embodiments, the input data could be in the same language as the sequence of instructions that is output and the generation process could cause additional instructions to be added in order to establish the state of control flow speculation.

In some embodiments the state of control flow speculation indicates whether control flow speculation occurred correctly. Control flow speculation can occur in the case of a conditional branch instruction, where a branch prediction is made in order to determine whether the branch should be followed in respect of fetching, decoding, and starting to execute further instructions until the outcome of that branch is known. In these embodiments, an instruction is provided that indicates whether the speculation occurred correctly or not.

In some embodiments, the at least one of the instructions in the sequence of instructions that stores the state of control flow speculation is inhibited from being subject to data value speculation by the data processing circuitry. This can be achieved by, for instance, the provision of a “speculation barrier”, that prohibits speculated data values to be used in further instructions until it has been determined that those speculated data values are correct. As previously explained, data speculation is a technique that is used to estimate the value of data. Consequently, by prohibiting data value speculation from occurring when determining the state of control flow speculation, it is possible to determine whether a branch should actually have been followed or not.

In some embodiments, the at least one of the instructions in the sequence of instructions that stores the state of control flow speculation is adapted to cause the data processing circuitry to perform a comparison and to store the state of control flow speculation in dependence on a result of the comparison. The comparison is performed in order to determine whether control flow speculation should have caused a branch or not. The state of control flow speculation is then stored so that it can be referred to or used in other calculations elsewhere.

In some embodiments, the input data comprises a conditional branch instruction comprising a condition and a target to branch to when the condition is met; and the sequence of instructions comprises, at the target, the at least one of the instructions in the sequence of instructions that stores the state of control flow speculation. The instruction that stores the state of control flow speculation occurs after a branch instruction that may be subject to control flow speculation. Hence, in the event that control flow speculation occurs, it is possible to determine whether the decision to branch was correct or not.

In some embodiments, the comparison logically corresponds with the condition. It will be appreciated that if the comparison performed by the instruction that determines the state of control flow speculation matches the condition in the conditional branch instruction then the state of control flow speculation matches whether the conditional branch should have been taken or not. Here, the term “logically corresponds with” means that the condition and the comparison have logical equivalence. This can be established using boolean truth tables, as will be known by the skilled person.

In some embodiments, in response to the result of the comparison corresponding with the condition being unfulfilled, the state of control flow speculation indicates that control flow speculation occurred incorrectly.

In some embodiments, at least a subset of the sequence of instructions conform to an Application Binary Interface; and the stored state of control flow speculation is maintained between the functions by storing an illegal value in storage circuitry according to the Application Binary Interface. An Application Binary Interface (ABI) dictates how software should use certain elements of hardware. For instance, the ABI may dictate calling conventions (e.g. how different values are to be stored in registers and/or the stack in order to perform a function call or to return from a function call). Accordingly, the ABI may dictate that particular registers should/should not store particular values. Regardless, in such embodiments, despite the ABI being conformed to by at least a subset of the plurality of instructions, an “illegal” (e.g. disallowed) value (according to the ABI) is stored in storage circuitry in order to maintain the state of control flow speculation between functions. In this way, compatibility with existing systems can be maintained, since the presence of an “illegal” value in the storage circuitry should have no effect.

In some embodiments, the stored state of control flow speculation is maintained within at least some of the functions by storing a legal value according to the Application Binary Interface. In some embodiments, the legal value is stored in the same storage circuitry that the illegal value is stored in, between functions. However, in some embodiments, the legal value is stored in different storage circuitry within a function.

In some embodiments, the illegal value is stored in the storage circuitry in response to the state of control flow speculation indicating that miss-speculation occurred. Since, as a consequence of miss-speculation, a “rewind” would be expected to occur, it may be considered to be acceptable to store an illegal value in storage circuitry until the rewind occurs. Note that in some other embodiments, the reverse may be true, i.e. an illegal value is stored in response to the state of control flow speculation indicating that miss-speculation did not occur.

In some embodiments, the storage circuitry comprises a register. For example, in some embodiments, the storage circuitry comprises a stack pointer register; and the illegal value is 0. In some ABIs, the stack pointer register, which may be used to point to an address in memory at which the end of the previous stack frame is stored, is not permitted to be 0 across function calls. Accordingly, by storing a value of 0 in the stack pointer register, it is possible to indicate that miss-speculation has occurred. Additionally, since such a value is prohibited from being in the stack pointer register, storing such a value here should have no overall effect.

In some embodiments, the sequence of instructions comprises an access instruction comprising an access address; and correct execution of the access instruction is dependent on the state of control flow speculation. In this way, it is possible to control access to data depending on whether control flow speculation should or should not have happened. In some cases, the correct execution of the access instruction can be considered to be secure, because in this manner it is possible to inhibit the access instruction from being executed in insecure scenarios—such as where control flow miss-speculation has occurred and in which access to a data value is inappropriate. This can help to inhibit privileged data from being leaked, since the data may not actually be retrieved if miss-speculation occurs.

In some embodiments, the sequence of instructions comprises an instruction that performs an operation on the access address prior to the access instruction; and the operation is dependent on the state of control flow speculation. By performing an operation on the address that depends on the state of control flow speculation, it is possible to affect the address depending on whether control flow speculation was correct or not. This can make it possible to ‘corrupt’ an address if access is inappropriate, such that the access does not occur, thereby preventing the data from being retrieved.

There are a number of ways in which the operation can be performed. In some embodiments, the operation is a logical AND operation comprising an operand; and the operand is 0 in a case where the state of control flow speculation indicates that miss-speculation occurred. Hence, when miss-speculation occurs, the result of performing the AND operation is to effectively ‘nullify’ (zero) the access address thereby inhibiting the access from occurring. Where miss-speculation has not occurred according to the state of control flow speculation, the operand can be an all 1-s value (e.g. a ‘1’ for each bit stored in the appropriate register) such that an AND with the access address results in the access address itself.

Another way of protecting data is to perform an operation on the data itself after having been retrieved. Hence, in some embodiments, the sequence of instructions comprises an instruction that performs an operation on data retrieved from the access address by the access instruction; and the operation is dependent on the state of control flow speculation. Again, for instance, in some embodiments, the operation is a logical AND operation comprising an operand; and the operand is 0 in a case where the state of control flow speculation indicates that miss-speculation occurred. Consequently, having retrieved the data, it is immediately affected by the AND operation that nullifies (zeros) the data if it is indicated that miss-speculation occurred.

Particular embodiments will now be described with reference to the figures.

FIG. 1 illustrates an apparatus 100 in accordance with some embodiments. The apparatus could, for instance, take the form of a pipeline for executing instructions. In the example of FIG. 1, an instruction fetcher 110 is provided. This obtains instructions, e.g. from memory or from an instruction cache, that are to be executed. The instruction fetcher then passes the fetched instruction(s) to an instruction decoder 120, which decodes the fetched instructions and generates one or more control signals for each instruction. The control signals are passed to one or more reservation stations 130 a-130 d. Each reservation station stores data corresponding to instructions for execution by execution units 140 a-140 d. Each reservation station 130 acts as a queue in respect of decoded instructions and the decoded instructions in a given reservation station 130 a may be handled by the corresponding execution unit 140 a in any order. Here, the execution units 140 include two Arithmetic Logic Units (ALUs) 140 a, 140 b, a Floating Point Unit 140 c, and a load/store unit 140 d. Decoded instructions are sent to the appropriate execution unit 140. For instance, floating point instructions are sent to the Floating Point Unit 140 c via the corresponding reservation station 130 c.

FIG. 2 illustrates the behaviour of a branch instruction and is used to demonstrate one form of speculative execution. In particular, a first group of instructions 200 comprise a branch instruction A. This causes the flow to jump to a second group of instructions 210. In the case of a conditional branch instruction (a branch instruction having a condition associated with it), the branch will only take place if the condition is met. If the branch takes place, then execution will continue at the target of the branch instruction, B. In this example, this involves the execution of instructions D, E, F, G, and H. Instruction H acts as a return instruction, which causes the branch to return. Flow then returns to instruction C in the first block of instructions 200 where execution resumes.

In typical execution, it may take one processor cycle for the instruction fetcher 110 to fetch an instruction and a further processor cycle for the instruction decoder to decode the instruction. The instruction may then wait in a reservation station 130 until the necessary data has been obtained. For instance, if the instruction operates on data in memory then several processor cycles may be spent retrieving the data from memory. A further processor cycle might be spent actually performing the instruction at the execution unit 140 once the instruction has been passed on. In order to maintain efficiently, typical data processing systems will continue to operate (e.g. fetch, decode, and execute) other instructions at the same time. A conditional branch instruction can theoretically cause a problem here because it is not known, until the condition is actually evaluated, which instructions should next be fetched/decoded/executed. In order to help resolve this problem, a branch prediction is made, and it is assumed that the branch will go in one particular direction. Instructions in that direction are then fetched/decoded/executed. If the prediction was correct, then efficiency has been maintained. If not, then a “rewind” occurs and execution resumes from the correct location. In this case, no significant time is lost as compared to the situation where execution merely stops until the branch is executed. This is an example of speculative execution. Consequently, in the example of FIG. 2, when the branch instruction at A is reached, some or all of instructions B-H (and even C if the return instruction at H is executed) may be executed before it is known whether the branch at A should have been followed.

FIG. 3 illustrates an example of a conditional select instruction 300. The instruction comprises a destination 310 (e.g. the register x20), a first source 320 (e.g. the special register xzr, which always contains the value ‘0’), a second source 330 (e.g. the register x20) and a condition 340 (e.g. ‘ge’ indicating ‘is the greater than or equal flag set’). The greater than or equal flag may be set as the consequence of a previous instruction comparing two values. Alternatively, in some embodiments, the condition 340 making up the conditional select instruction could include the comparison of two values directly.

The execution of this instruction causes the value 0 (in the xzr register) to be stored in register x20 if the greater than or equal flag is not set. Otherwise (if the greater than or equal flag is set), the value in register x20 is stored in register x20 (i.e. the value of register x20 remains the same). Note that if the condition 340 in the conditional select instruction corresponds with the condition of a conditional branch instruction, then the value stored in register x20 can be made to change depending on whether control flow speculative execution occurred correctly, as illustrated below.

FIG. 4a illustrates how a conditional select instruction can be used in order to determine whether miss-speculation has occurred by compiling (e.g. converting) an input set of instructions 400 into an output set of instructions 410. Note that the input instructions 400 could be in one language and the output instructions 410 could be in a second language intended for execution on a data processing circuitry 100 such as the one illustrated in FIG. 1.

The input instructions contain a typical conditional branch scenario. In this example, the condition 420 of the branch instruction is that the ‘greater than or equal flag’ is set. If the condition is met then a branch occurs to target label BB2 (which includes instruction instr2). Otherwise, execution continues at label BB1 (which includes instruction instr1). In the output instructions, register x20 is initially loaded with a value ‘−1’. The branch then occurs as in the input instructions. At the target label BB2, a conditional select instruction occurs, as previously described with reference to FIG. 3. However, the condition of the conditional select instruction 430 is the inverse of the condition 420 in the branch instruction—relying on the ‘lt’ (‘less than’) flag being set. As a consequence, the condition of the conditional select instruction corresponds with that of the condition of the branch instruction because they are each dependent on the same test and simply take different actions depending on the possible outcomes. The remaining instructions of branch BB2 are then executed (including instr2). Similarly, at branch BB1, a conditional select instruction 440 occurs. This code is executed if the branch instruction 420 is not followed. In this case, the condition in the conditional select instruction 440 is the same as that of the branch instruction 420.

In this way, at branch BB1, the value in register x20 will either remain the same (‘−1’) or will be changed (to ‘0’). Since the condition 420 in each conditional select instruction 430, 440 is the opposite of the condition in the branch instruction 420 required to reach the target containing that conditional select instruction, the value of the register x20 will only be changed if miss-speculation occurred. Otherwise, the register x20 will remain the same. For instance, assume that speculation occurs at BB2. This will turn out to be correct if the ‘ge’ flags are set. Here, the conditional select instruction 420 determines whether the ‘lt’ flags are set. Assuming the ‘ge’ and ‘lt’ flags are mutually exclusive, the conditional select instruction 420 will cause the value in register x20 to remain the same (e.g. by moving the value in register x20 to register x20) if the condition in the branch instruction 420 is met (i.e. if speculation occurred correctly) and similarly for the conditional select instruction 440 at BB1. In each case the register x20 will maintain the value ‘−1’ if the branch is correctly speculated. In this example, the CSDB instruction inhibits data value speculation that may happen on the CSEL instruction from being observed by any instructions executing after the CSDB instruction. This causes the value in register x20 to represent the correctness of control flow prediction accurately for instructions executing after CSDB has been executed. The CSDB instruction is a special instruction used to inhibit data value miss-speculation that happened before the CSDB instruction from being seen by instructions executed after the CSDB instruction. Consequently, the actual result of the CSEL instruction is established, rather than being estimated by data-value speculation. Of course, if miss-speculation has occurred then at some future point in time, a “rewind” will occur. However, until that time, it is useful to be aware that control flow miss-speculation has occurred in order to inhibit privileged data from being leaked.

It will be appreciated that in related examples, the change could be made to occur if speculation occurs correctly and remain the same if the branch is miss-speculated. Similarly, it will be appreciated that the specific values (e.g. ‘0’ and ‘−1’) can be arbitrarily selected for each outcome.

FIG. 4b illustrates how the output produced by the conditional select instruction can be used to protect access to particular data. Here it is assumed that the register x20 contains an indication of whether speculation occurred correctly (all 1s) or incorrectly (all 0s). In the input data 450, a load is made to obtain data stored in memory at a memory address that is stored in register x1. The data is loaded into register x0. Here, the memory address stored in register x1 is considered to contain privileged information, since it relates to secure data. Hence, it is desirable to not have the data loaded in register x0 when control flow miss-speculation is happening—i.e. when the programmer did not intend to load this data. The output data 460 performs a logical AND operation on the memory address in register x1 with the value stored in the register x20. This results in x1 having value 0 in case of control flow miss-speculation, and hence the load loading from address 0 rather than the address of the privileged data.

Finally, the load occurs on the memory address now stored in register x1. If miss-speculation occurred, then the logical AND operation with the all 0s value in register x20 will cause the memory address in register x1 to be erased thereby preventing its access by the load instruction. If speculation occurred correctly, then the logical AND operation leaves the value in register x20 alone thereby allowing it to be accessed by the load instruction. Hence, the load is protected so that it can only occur if speculation was performed correctly.

Note that the CSDB instruction could be placed anywhere between the last CSEL operation on register x20 and the first use of register x20 in the AND instruction in order to protect the load instruction that loads the privileged data.

It is desirable for the indication of whether miss-speculation occurred to persist across function calls. FIGS. 5a, 5b, and 5c show how further translations can be performed in order to enable the miss-speculation indicator to persist across function calls.

In these examples, it is assumed that the output instructions 510, 530, 550 conform to an Application Binary Interface (ABI). This dictates how hardware should be utilised by the underlying software. For instance, it may dictate calling conventions that specify how function calls should be implemented—e.g. the registers that should be used to pass parameters to the called function, how results should be passed back, how and when programme counters and stack pointers should be changed, etc. In the present example, it is assumed (as is often the case) that the ABI prohibits the value ‘0’ from being stored in the stack pointer across functions (e.g. during a call or a return). Hence, by storing the value ‘0’ in the stack pointer, it is possible to provide a backwards compatible system that communicates across functions the fact that either control flow speculation has occurred correctly, or that miss-speculation has occurred. Since this uses a value in a register that is prohibited by the ABI, it should not cause problems with any existing systems. In other words, the presence of the ‘0’ in the stack pointer register should have no effect. The present examples use the value ‘0’ to refer to the fact that miss-speculation has occurred. Furthermore, the present examples use the register IP1 within a function to store a value indicative of whether miss-speculation occurred, as opposed to register x20 as was previously used.

FIG. 5a illustrates how a function call in the input instructions 500 is translated into output instructions 510 that perform a function call. The output instructions move the current stack pointer into a temporary register IP0. A logical AND operation is then performed between the stack pointer value in IP0 and the value of the register IP1 which contains the control flow miss-speculation value (all ones if control flow is being speculated correctly and 0 if control flow is being speculated incorrectly), and the result is stored in the temporary register IP0. This AND operation results in IP0 either containing the value of the stack pointer (in case of correct control flow speculation), or 0 (in case of incorrect control flow speculation). The result is then stored back into the stack pointer. Certain architectures prohibit arithmetic/logical operations taking place on the stack pointer directly. In this example, MOV instructions move the value of the stack pointer to a temporary register to allow it to be altered. On other architectures that allow direct operation on the stack pointer it may be possible to set the value of the stack pointer to 0 when control flow miss-speculation happens directly without needing mov instructions.

The branch-and-link instruction is then performed, which causes an unconditional function call to the label ‘callee’ to occur. Note that the branch-and-link instruction is not a conditional branch instruction and so miss-speculation does not occur as a consequence of this branch-and-link instruction itself. However, the function containing this branch-and-link instruction could have been entered as a consequence of miss-speculation occurring. The present technique makes it possible to maintain the state of control flow speculation across functions and so in the function that is entered from this branch-and-link instruction, it is known whether miss-speculation (from a previous conditional branch instruction, not shown) has occurred.

FIG. 5b illustrates the behaviour at the callee label. In the input instructions 520, this would merely comprise a label “callee:”. In the output instructions 530 that are generated from this (e.g. via compilation or conversion), a comparison is made between the stack pointer and the value ‘0’ followed by a conditional select instruction. This code sequence results in register IP1 containing all zeros when the stack pointer is zero, i.e. when control flow miss-speculation happened. If control flow miss-speculation hasn't happened before this point, the stack pointer will have a non-zero value and this code sequence results in IP1 containing an all-ones value. This way, the value of IP1 has been transferred from before the function call to “callee” into the function “callee” by using the ABI-illegal value ‘0’ in the stack pointer.

FIG. 5c illustrates the behaviour at the return instruction that causes a return from a function call. In the input instructions 540, this would merely comprise the instruction ‘ret’. In the output instructions 550 that are generated from this (e.g. via compilation or conversion), the stack pointer is moved into the temporary register IP0. A logical AND operation is then performed on the contents of IP0 and IP1. Finally, the result is moved back to the stack pointer, and the return to the caller occurs. As above, the temporary register IP0 is used in order to perform operations on the value stored in the stack pointer.

Referring back to FIG. 5a , the final two lines of the output instructions 510 indicate what happens at the caller after the return. In particular, the stack pointer is again compared to the value ‘0’. If the stack pointer equals ‘0’ then a ‘0’ is stored in IP1 (i.e. indicating control flow miss-speculation happened), otherwise an all-ones value gets stored in register IP1 by the CSETM instruction. FIGS. 5a, 5b and 5c combined demonstrate how to communicate the control flow miss-speculation value in register IP1 across function call boundaries, by using an ABI-illegal value for the stack pointer.

FIG. 6 illustrates how several of the techniques can be combined. Here, the input data 580 causes a branch to the label ‘function’. At the label ‘function’, the value held in memory at the address listed in register x1 is then loaded into register x0. The instruction ‘instr1’ is then executed, before returning. In the output data 590, the register IP1 is again used within functions to represent whether control flow miss-speculation has taken place. This value is passed between functions by placing it into the stack pointer. In the case of miss-speculation occurring, the value in IP1 is ‘0’ and is an all 1s value otherwise. For the stack pointer, the value is ‘0’ when miss-speculation occurs, and the unaltered stack pointer value (which ABI rules prohibit from being ‘0’) otherwise. As before, the stack pointer is moved into register IP0 such that it can be adjusted. It is then ANDed with the current value of IP1 and moved back to the stack pointer. At this stage, the stack pointer will now reflect the state of control flow speculation. The function call (bl instruction) then occurs. At the function ‘function’, the state of control flow speculation is transferred back to IP1. As before, if control flow speculation has occurred correctly then the access address in register ‘x1’ remains unchanged, otherwise this value is ‘corrupted’ thereby preventing the access. The CSDB instruction just before the AND instruction means that the value of IP1 will not be data value (miss) speculated at that point, so that the address in x1 is corrupted when control flow miss-speculation happens. The instruction ‘instr1’ is then performed. Finally, the state of control flow speculation is stored back into the stack pointer before returning. At the point of return in the calling function, the control flow miss-speculation indication in the stack pointer (‘0’ for miss-speculation, any non-zero value for correct speculation) is translated back into the register IP1 (‘0’ for miss-speculation, all-ones for correct speculation), and execution of the remaining instructions continues (shown as ‘ . . . ’ in FIG. 6).

FIG. 7 illustrates an apparatus 600 for producing output instructions from input data in accordance with some embodiments. The apparatus includes input circuitry 610 that receives the input data (which could be in the form of instructions, perhaps in a different language to the output instructions). The input circuitry passes these instructions to the generation circuitry 620, which generates a sequence of output instructions. The sequence of output instructions are based on the input instructions. In this example, the output instructions will achieve the same effect as the input instructions, but will have further instructions added (with at least some restrictions added on data value speculation) that cause control flow miss-speculation to be tracked in a register, as demonstrated for instance with respect to some or all of FIGS. 4a, 4b, 5a, 5b, and 5c . The output instructions are then output by the output circuitry 630. The sequence of instructions that is output by the output circuitry 630 is designed to be executed on processing circuitry 100. The sequence of instructions is such that, with one particular exception, they implement an ABI. The one exception is that in respect of storage circuitry 640, such as a stack pointer register, a value that is prohibited from being stored in the storage circuitry across a function call is in fact stored in that storage circuitry across a function call in order to represent the fact that miss-speculation occurred (or has not occurred).

FIG. 8 illustrates a method of data processing in accordance with some embodiments. The method is illustrated in the form of a flow chart 700 and may be performed by a data processing apparatus 100 as illustrated in FIG. 1, for instance. At step 710, instructions are decoded and control signals are generated. At a step 720, the control signals are used to perform one or more data processing operations. At a step 730, it is determined whether the control signals corresponding with data processing operations (and therefore the corresponding instructions) were marked in some way as to inhibit data value speculation being performed for those instructions. If not, then speculation is permitted for those data processing operations at step 740. Otherwise, at step 750, speculation is prohibited for those instructions.

FIG. 9 illustrates a method of data processing in accordance with some embodiments. The method is illustrated in the form of a flow chart 800 and may be performed, for instance, using an apparatus 600 as illustrated in FIG. 7. At a step 810, input data is received. At a step 820, a generation process is performed. This may corresponding with some or all of the processes illustrated with respect to FIGS. 4a, 4b, 5a, 5b, and 5c . One or more of the output instructions cause a state of control flow speculation to be stored during execution. Finally, the output of the generation process (a sequence of output instructions) is output at step 830.

In the present application, the words “configured to . . . ” are used to mean that an element of an apparatus has a configuration able to carry out the defined operation. In this context, a “configuration” means an arrangement or manner of interconnection of hardware or software. For example, the apparatus may have dedicated hardware which provides the defined operation, or a processor or other processing device may be programmed to perform the function. “Configured to” does not imply that the apparatus element needs to be changed in any way in order to provide the defined operation.

Although illustrative embodiments of the invention have been described in detail herein with reference to the accompanying drawings, it is to be understood that the invention is not limited to those precise embodiments, and that various changes, additions and modifications can be effected therein by one skilled in the art without departing from the scope and spirit of the invention as defined by the appended claims. For example, various combinations of the features of the dependent claims could be made with the features of the independent claims without departing from the scope of the present invention. 

The invention claimed is:
 1. An apparatus comprising: input circuitry to receive input data; output circuitry to output a sequence of instructions to be executed by data processing circuitry, at least some of the instructions being grouped into functions; and generation circuitry to perform a generation process to generate the sequence of instructions using the input data, wherein an instruction in the sequence of instructions is configured to store a state of control flow speculation performed during execution of the sequence of instructions; and the stored state of control flow speculation is maintained between the functions, wherein a subset of the sequence of instructions conform to an Application Binary Interface; and the stored state of control flow speculation is maintained between the functions by storing an illegal value in storage circuitry according to the Application Binary Interface.
 2. The data processing apparatus according to claim 1, wherein the state of control flow speculation indicates whether control flow speculation occurred correctly.
 3. The data processing apparatus according to claim 1, wherein a result of the instruction in the sequence of instructions that stores the state of control flow speculation is inhibited from being subject to data value speculation by the data processing circuitry.
 4. The data processing apparatus according to claim 1, wherein the instruction in the sequence of instructions that stores the state of the control flow speculation is adapted to cause the data processing circuitry to perform a comparison and to store the state of control flow speculation in dependence on a result of the comparison.
 5. The data processing apparatus according to claim 4, wherein the input data comprises a conditional branch instruction comprising a condition and a target to branch to when the condition is met; and the sequence of instructions comprises, at the target, the instructions in the sequence of instructions that stores the state of control flow speculation.
 6. The data processing apparatus according to claim 5, wherein the comparison logically corresponds with the condition.
 7. The data processing apparatus according to claim 6, wherein in response to the result of the comparison corresponding with the condition being unfulfilled, the state of control flow speculation indicates that control flow speculation occurred incorrectly.
 8. The data processing apparatus according to claim 1, wherein the stored state of control flow speculation is maintained within some of the functions by storing a legal value according to the Application Binary Interface.
 9. The data processing apparatus according to claim 1, wherein the illegal value is stored in the storage circuitry in response to the state of control flow speculation indicating that miss-speculation occurred.
 10. The data processing apparatus according to claim 1, wherein the storage circuitry comprises a register.
 11. The data processing apparatus according to claim 1, wherein the storage circuitry comprises a stack pointer register; and the illegal value is
 0. 12. An apparatus comprising: input circuitry to receive input data; output circuitry to output a sequence of instructions to be executed by data processing circuitry, some of the instructions being grouped into functions; and generation circuitry to perform a generation process to generate the sequence of instructions using the input data, wherein an instruction in the sequence of instructions is configured to store a state of control flow speculation performed during execution of the sequence of instructions; and the stored state of control flow speculation is maintained between the functions, wherein the sequence of instructions comprises an access instruction comprising an access address; correct execution of the access instruction is dependent on the state of control flow speculation; the sequence of instructions comprises an instruction that performs an operation on the access address prior to the access instruction; and the operation is dependent on the state of control flow speculation.
 13. The data processing apparatus according to claim 12, wherein the operation is a logical AND operation comprising an operand; and the operand is 0 in a case where the state of control flow speculation indicates that miss-speculation occurred.
 14. The data processing apparatus according to claim 1, wherein the sequence of instructions comprises an instruction that performs an operation on data retrieved from the access address by the access instruction; and the operation is dependent on the state of control flow speculation.
 15. The data processing apparatus according to claim 14, wherein the operation is a logical AND operation comprising an operand; and the operand is 0 in a case where the state of control flow speculation indicates that miss-speculation occurred.
 16. A method comprising: receiving input data; performing a generation process to generate a sequence of instructions using the input data; and outputting the sequence of instructions to be executed by data processing circuitry, some of the instructions being grouped into functions, wherein the generation process causes an instructions in the sequence of instructions to store a state of control flow speculation performed during execution of the sequence of instructions; and the stored state of control flow speculation is maintained between the functions, wherein the sequence of instructions comprises an access instruction comprising an access address; correct execution of the access instruction is dependent on the state of control flow speculation; the sequence of instructions comprises an instruction that performs an operation on the access address prior to the access instruction; and the operation is dependent on the state of control flow speculation. 